621. Verification, Model Checking, and Abstract Interpretation
پدیدآورنده : \ Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Logics and Meanings of Programs.,نرمافزار -- راستی‌آزمایی -- کنگره ها ,نرمافزار -- مهندسی-- کنگره‌ها
رده :
QA
76
.
76
.
V47
2015
E-Book
,
622. WISER 2004 : ACM Workshop on Interdisciplinary Software Engineering Research : co-located with SIGSOFT 2004/FSE-12; November 5, 2004, Newport Beach, California, USA
پدیدآورنده : sponsored by SIGSOFT
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering
رده :
QA
76
.
758
.
A284
2004
623. Web Information Systems Engineering – WISE 2015
پدیدآورنده : \ edited by Jianyong Wang, Wojciech Cellary, Dingding Wang, Hua Wang, Shu-Ching Chen, Tao Li, Yanchun Zhang.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Computer science.,Computer networks.,نرمافزار -- مهندسی -- کنگره‌ها ,علوم کامپیوتر,شبکه‌های رایانه ای
رده :
QA76
.
758
.
W41
2015
E-Book
,
624. Web engineering :
پدیدآورنده : Maxim Bakaev, Flavius Frasincar, In-Young Ko (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Software engineering, Congresses.,Web services, Congresses.,World Wide Web, Congresses.,Software engineering.,Web services.,World Wide Web.
رده :
TK5105
.
888
625. Web engineering
پدیدآورنده : Marco Brambilla, Takehiro Tokuda, Robert Tolksdorf (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Software engineering, Congresses,Web services, Congresses,World Wide Web, Congresses
رده :
TK5105
.
888
.
I28
2012eb
626. Web information systems engineering -- WISE 2018 :
پدیدآورنده : Hakim Hacid, Wojciech Cellary, Hua Wang, Hye-Young Paik, Rui Zhou (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Information storage and retrieval systems, Congresses.,Software engineering, Congresses.,Web services, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Data mining.,Expert systems-- knowledge-based systems.,Information retrieval.,Information storage and retrieval systems.,Software engineering.,Web services.
رده :
TK5105
.
88813
627. agent systems V-Software engineering for multi
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
628. based software engineering-Component
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ; Component software ; Congresses. ;
629. based software engineering-Component
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ; Computer software ; Development ; Congresses. ;
630. based software engineering :-Knowledge
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ;
631. based software engineering :-Search
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ;
632. focused software process improvement :-Product
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ;
633. oriented software engineering VI-Agent
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
634. oriented software engineering VII-Agent
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
635. oriented software engineering VIII-Agent
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Software engineering ; Congresses. ; Intelligent agents (Computer software) ; Congresses. ;
636. 3rd IEEE Symposium on Application-Specific Software Engineering Technology: proceedings, March 24-25, 2000, Richardson, Texas
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Application software,Congresses ، Software engineering
رده :
QA
76
.
76
.
A65
.
I52
2000
637. services :-technologies, infrastructures, tools, and applications for e-Agent
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Intelligent agents (Computer software) ; Congresses ; Software engineering ; Congresses ; Electronic commerce ; Computer programs ; Congresses ;
638. #16th Annual International Conference on Automated Software Engineering
پدیدآورنده : #sponsored by IEEE Computer Society Technical Committee on Software Engineering, ACM SIGSoft, ACM SIGArt
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Software engineering- Congresses ،Expert systems )Computer science(- Congresses
رده :
#
QA
،#.
I54
،#
2001
639. 13th International conference on Software Engineering, Austin,Texas May 13-16, 1991
پدیدآورنده : / Sponsored by: ACM special Interest Group on Software Engineering IEEE Computer Society Technical Committee on Software Engineering
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Software engineering -- Congresses
رده :
QA
76
.
758
.
I5
1991
